Analogical Reasoning using Transformations of Rules
نویسنده
چکیده
A formalism of analogical reasoning is presented. The analogical reasoning can be considered as a deduction with a function of trans forming logical rules. From this viewpoint, the reasoning is defined in terms of deduction, and is therefore realized in a logic programm ing system. The reasoning system is described as an extension of Prolog interpreter.
منابع مشابه
Relations as transformations: implications for analogical reasoning.
We present two experiments assessing whether the size of a transformation instantiating a relation between two states of the world (e.g., shrinks) is a performance factor affecting analogical reasoning. The first experiment finds evidence of transformation size as a significant factor in adolescent analogical problem solving while the second experiment finds a similar effect on adult analogical...
متن کاملAnalogical Reasoning via Imagery: the Role of Transformations and Simulations
In the classical theory of analogical reasoning, mappings between discrete symbols are a central mechanism in analogy evaluation and transfer. In this study several other analogy evaluation strategies are identified in expert think aloud protocols: bridging analogies, conserving transformations, dual simulations used to detect perceptual-motor similarity, and overlay simulations (Clement, 2004,...
متن کاملAnalogical Reasoning with Typical Examples
Begriie ohne Anschauungen sind leer Anschauungen ohne Begriie blind. Abstract Typical examples, that is, examples that are representative for a particular situation or concept, play an important r^ ole in human knowledge representation and reasoning. In real life situations more often than not, instead of a lengthy abstract characterization , a typical example is used to describe the situation....
متن کاملIncorporating Explanation-Based Generalization with Analogical Reasoning
The EBG system builds an explanation and learns a concept de nition as its generalization provided a domain theory is complete. It does not work when a domain theory is incomplete. Then we introduce a notion of generalizations by an analogy which makes it possible to construct rules necessary for domain theories. Furthermore, we develop EBG by analogical reasoning which copes with the incomplet...
متن کاملOn Skill Acquisition Support by Analogical Rule Abduction
This paper describes our development of analogical abduction as an extension to our work on meta level abductive reasoning for rule abduction and predicate invention. Previously, we gave a set of axioms to state the object level causalities in terms of first-order-logic (FOL) clauses, which represent direct and indirect causalities with transitive rules. Here we extend our formalism of the meta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1985